This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

The future of awake bruxism assessment will incorporate physiological data, possibly electromyography of the temporal muscles. But up to now, temporal muscle contraction patterns in awake bruxism have not been characterized to demonstrate clinical utility. The present study aimed to perform surface EMG evaluations of people assessed for awake bruxism to identify possible different subtypes. A 2-year active search for people with awake bruxism in three regions of the country resulted in a total of 303 participants. Their inclusion was confirmed (...) through non-instrumental approaches for awake bruxism: self-reported questionnaire and clinical exam, performed by three experienced and calibrated dentists. Also, 77 age- and sex-matched healthy controls were recruited. Temporalis surface EMG was performed with a portable device. EMG signals were sent to a computer via Bluetooth 4.0 at a sampling rate of 1,000 Hz. Digital signal processing was performed using the commercial neuroUP software, transformed in RMS and then normalized for peak detection, in a 10 min session. Cluster analysis revealed three distinct subtypes of awake bruxism: phasic, tonic, and intermediate. Individuals with a predominance of EMG peaks/min were classified as the “phasic” subtype. Those with the highest EMG rest power were classified as the “tonic” subtype. There was also an “intermediate” subtype, when both variables remained low. Characterization of awake bruxism physiology is important for future establishment of instrumental assessment protocols and treatment strategies. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

Background: The new human coronavirus that leads to COVID-19 has spread rapidly around the world and has a high degree of lethality. In more severe cases, patients remain hospitalized for several days under treatment of the health team. Thus, it is important to develop and use technologies with the aim to strengthen conventional therapy by encouraging movement, physical activity, and improving cardiorespiratory fitness for patients. In this sense, therapies for exposure to virtual reality are promising and have been shown to (...) be an adequate and equivalent alternative to conventional exercise programs.Aim: This is a study protocol with the aim of comparing the conventional physical therapy intervention with the use of a non-immersive VR software during COVID-19 hospitalization.Methods: Fifty patients hospitalized with confirmed diagnosis of COVID-19 will be divided in two groups under physiotherapy treatment using conventional or VR intervention: Group A: participants with COVID-19 will start the first day of the protocol with VR tasks in the morning and then in the second period, in the afternoon, will perform the conventional exercises and Group B: participants with COVID-19 will start the first day with conventional exercises in the morning and in the second period, in the afternoon, will perform activity with VR. All participants will be evaluated with different motor and physiologic scales before and after the treatment to measure improvements.Conclusion: Considering the importance of benefits from physical activity during hospitalization, VR software shows promise as a potential mechanism for improving physical activity. The results of this study may provide new insights into hospital rehabilitation.Trial Registration:ClinicalTrials.gov, identifier: NCT04537858. Registered on 01 September 2020. (shrink)

IntroductionRegular exercise has long been shown to positively impact the immune system responsiveness and improve mental well-being. However, the putative links between biomarkers of mental health and immune efficiency in exercising subjects have been scarcely investigated. The aim of this study was to verify the effect of a 14-week combined chair-based exercise program on salivary steroid hormones and anti-microbial proteins, functional fitness, and MWB indexes in pre-frail older women.MethodsThe participant women were randomly divided into the exercising group and the non-exercising (...) control group. The pre/post assessment included: salivary anti-microbial proteins lysozyme; and immunoglobulin-A ; salivary steroid hormones of testosterone and cortisol ; functional fitness ; MWB questionnaires.ResultsSignificant differences with large Cohen’s effect sizes were found on increased salivary TT after exercise intervention. The results revealed a decrease in IgA levels after CEP. The increase in subjective happiness levels and decrease of stress perception and depressive state were found after intervention in the CEP group. Robust statistical differences in gait speed and balance tests were also found in the CEP group. In control, COR increased moderately while no changes were found for the other indicators. Correlation analyses showed inter-dependence between pre–post variations of MWB, biochemical indexes, and fitness function.ConclusionThe CEP program was able to improve functional-fitness performance, decrease feelings of stress, and increase happiness. The CEP also induced clinically relevant hormonal and immune responses, which suggests that chair exercises that combine muscular strength, balance, and gait speed training are promising interventions to improve physical and mental health of older pre-frail adults. (shrink)

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento e (...) lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.

Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields. Besides, TML is the logic that preserves degrees of truth with respect to Monteiro’s tetravalent modal algebras. Among other things, Font and Rius showed that TML has a strongly adequate sequent system, but unfortunately this system does not enjoy the cut-elimination property. However, in (...) a previous work we presented a sequent system for TML with the cut-elimination property. Besides, in this same work, it was also presented a sound and complete natural deduction system for this logic. In the present article we continue with the study of TML under a proof-theoretic perspective. In the first place, we show that the natural deduction system that we introduced before admits a normalization theorem. In the second place, taking advantage of the contrapositive implication for the tetravalent modal algebras introduced by A. V. Figallo and P. Landini, we define a decidable tableau system adequate to check validity in the logic TML. Finally, we provide a sound and complete tableau system for TML in the original language. These two tableau systems constitute new (proof-theoretic) decision procedures for checking validity in the variety of tetravalent modal algebras. (shrink)

O presente artigo inicia-se com a análise de uma carta de Edmund Burke de Janeirode 1790, momento em que o estadista se declarou contrário à Revolução Francesa, paravinculá-la a outros textos do autor nos quais os aspectos orgânico e hereditário dasociedade civil, assim como o papel formador e deformador das palavras na atividadepolítica, são tratados. A segunda parte desse texto consiste na tradução e notas à traduçãoda referida carta de Janeiro de 1790.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive (...) Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. (shrink)

Nietzsche y Educación: conocimiento y cultura en el Estado Moderno Resumen: Este texto busca tejer algunas reflexiones sobre la relación entre la filosofía de Friedrich Nietzsche y el campo educativo, entendiendo sus indagaciones sobre las instituciones educativas modernas y los valores vinculados a este tipo de hombre. Vinculado al proceso de degeneración de la potencia instintiva humana y su animalidad, se estableció un modelo de conocimiento, basado en el ideal metafísico y la creencia incondicional de la verdad. La crítica dirigida (...) al Estado Moderno y su modelo de cultura, que pretendió instituir a filósofos/as y estudiosos/as como guías, considera que es necesario volver a hacer crecer los usos y funciones de estos sujetos en la sociedad, al buscar superar el dilema que los constituye hoy, como empleados y mantenedores del Estado. Pasando por distintas fases de su pensamiento, buscó ser un instrumento más para dotar al ámbito de la Filosofía de la Educación de un vínculo sólido con el filósofo alemán, a través del estudio de las relaciones entre Nietzsche y la Educación. Palabras-Clave: Conocimiento; Cultura; Educación; Friedrich Nietzsche. Nietzsche e Educação: conhecimento e cultura no Estado Moderno Resumo: Este texto busca tecer algumas reflexões acerca da relação entre a filosofia de Friedrich Nietzsche e o campo educacional, compreendendo suas indagações acerca das instituições de ensino modernas e os valores vinculados ao este tipo de homem. Atrelado ao processo de degeneração da potência instintiva humana e de sua animalidade ocorreu a fixação de um modelo de conhecimento, fundamentado no ideal metafísico e na crença incondicional da verdade. A crítica dirigida ao Estado Moderno e ao seu modelo de cultura, que pretendeu instituir os filósofos e eruditos enquanto guias, entende que é necessário o resgate dos usos e funções destes sujeitos na sociedade, buscando superar o dilema que os constitui hoje, como funcionários e mantenedores do Estado. Perpassando diferentes fases de seu pensamento buscou-se ser mais um instrumento para fornecer ao âmbito da Filosofia da Educação um vínculo sólido com o filósofo alemão, por meio do estudo das relações entre Nietzsche e a Educação. Palavras-chave: Conhecimento; Cultura; Educação; Friedrich Nietzsche. Nietzsche and Education: knowledge and culture in the Modern State Abstract: This text seeks to do some reflections on the relationship between Friedrich Nietzsche's philosophy and the educational field, understanding his inquiries about modern educational institutions and the values ​​linked to this type of man. United with the process of degeneration of human instinctual power and its animality, there was the establishment of a model of knowledge, based on the metaphysical ideal and on the unconditional belief of truth. The criticism directed at the Modern State and its model of culture, which intended to establish philosophers and scholars as guides, understands that it is necessary to rescue the uses and functions of these subjects in society, seeking to overcome the dilemma that constitutes them today, as employees and keepers of the state. Passing through different phases of his thought, we sought to be one more instrument to provide the scope of Philosophy of Education with a solid link with the German philosopher, through the study of the relationship between Nietzsche and Education. Keywords: Knowledge; Culture; Education; Friedrich Nietzsche. Data de registro: 10/08/2021 Data de aceite: 19/01/2022. (shrink)

Civil disobedience is a form of protest consisting in an act contrary to law, whose aim is to bring about a change in laws or policies deemed unjust. In the traditional Western philosophical debate, civil disobedience was mainly discussed and justified within the boundaries of a democratic regime. John Rawls’ theory of civil disobedience is explicitly based on this liberal assumption. He conceptualises civil disobedience as a public, nonviolent, conscientious and political breach of the law, only appropriate to nearly just (...) societies, hence to democratic regimes. This article intends to question Rawls’ premise by considering civil disobedience from a different perspective: when it is undertaken outside of a nearly just framework, precisely in not fully democratic contexts, such as the so-called “anocracies”, regimes that mix democratic and autocratic traits. The emblematic case of Sudan’s most recent actions of civil disobedience is examined to argue that, contrary to the liberal conceptualisation, civil disobedience does have a role and appropriateness in frameworks of this kind, where the aim is not only to oppose unjust laws or policies, but also to achieve a broader structural change through rigorously nonviolent forms of political action. (shrink)

In the final pages of Chapter V of Afro-Brazilian Religions Roger Bastide sees, at a given moment in the socio-religious evolution of Brazil, a process of social disorganization which in its extent affects not only blacks but also poor white nationals and stranded immigrants.* As generator of a “ social marginalization,” this process could only be the passage through “a moment of transition” characterized by “the exaggerated speed of change in the country.” According to Bastide, an “organic period” follows: with (...) the “proletarization of the blacks, the assimilation of the immigrants, the general rise in the standard of living of the masses, other phenomena of cultural and social reintegration will appear.” On the religious level the “spiritism of umbanda“ is the expression of this new phase. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

Entrevista com o professor Mauro Rêgo Sá Costa para o dossiê Rádio nas Bordas.

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

El abordaje que actualmente se ha intentado revelar acerca de la psicopatología desde el modelo biomédico por disciplinas como la psicología y la psiquiatría, ha delineado formalmente dichas distinciones a la hora de indagar las conductas erráticas y manifestaciones psicoemocionales en el ser humano. La filosofía, por tanto, no ha estado exenta al replantear la manera en que el ser humano es pensado, ya sea en sus márgenes de normatividad como en la alteridad. Immanuel Kant miró -dentro de su importante (...) período filosófico- estos problemas, pero de una manera superficial en un breve ensayo titulado “Ensayo sobre las enfermedades de la cabeza” (1764) donde explora desde su visión el problema de la razón invertida. La propuesta de la presente investigación busca encontrar los alcances de esta propuesta por parte del filósofo de Koninsberg, y la relectura biologicista que plantearon autores como Konrad Lorenz y Franz Wuketits como iniciadores de la Teoría Evolucionista del Conocimiento. (shrink)

Ética e subjetividade no Budismo chinês contemporâneo Resumo: O presente artigo procura pensar as questões da ética e da subjetividade no contexto do pensamento budista na China contemporânea. Ele parte de uma genealogia do conceito de subjetividade conforme desenvolvido através do debate entre a escola Yogacãra do Budismo indiano e o Novo Confucionismo. Ao mesmo tempo, aponta para as possíveis implicações deste conceito de subjetividade em sua relação com as questões éticas presentes na China contemporânea. Palavras-chave: Ética. Subjetividade. Escola Yogacãra (...) do Budismo indiano. Novo Confucionismo. Ethics and subjectivity in contemporary Chinese Buddhism: This article tries to think the matters of ethics and subjectivity in the context of Buddhist thought in contemporary China. It has its starting point in an analysis of the concept of subjectivity as developed in the debate between the Yogacãra school of indian Buddhism and the New Confucianism. At the same time, it points to the possible implications of this concept of subjectivity for the ethical matters in contemporary chinese society. Keywords: Ethics. Subjectivity. Yogacãra school of indian Buddhism. New Confucianism. Ética y subjetividad en el budismo chino contemporáneo Resumen: Este artículo busca reflexionar sobre cuestiones de ética y subjetividad en el contexto del pensamiento budista en la China contemporánea. Comienza con una genealogía del concepto de subjetividad desarrollado a través del debate entre la escuela Yogacara del budismo indio y el nuevo confucianismo. Al mismo tiempo, señala las posibles implicaciones de este concepto de subjetividad en su relación con los problemas éticos presentes en la China contemporánea. Palabras clave: Ética. Subjetividad. Escuela de yogacara del budismo indio. Nuevo confucianismo. Data de registro: 29/07/2020 Data de aceite: 21/10/2020. (shrink)

Jean Hering, miembro del Círculo fenomenológico de Gotinga, fue uno de los primeros estudiantes de Husserl en llegar a Francia y exponer la fenomenología en aquel país. Por su parte, León Chestov publicaba en Francia una de las primeras críticas a la fenomenología y denunciaba el olvido del valor de la existencia y la vida. Entre ambos autores se despliega un debate fecundo en torno a la interpretación y aplicación del método fenomenológico. El presente estudio tiene la intención de exponer (...) y detallar,por un lado, el contenido de la crítica de la fenomenología de Chestov y, por otro lado, la respuesta defensiva de Hering, las cuales dieron lugar, durante la primera mitad del siglo XX, al primer debate francés sobre la filosofía husserliana. (shrink)

This study analyzes the possible occurrence of plagiarism and self-plagiarism in a sample of articles published in the Scientific Periodicals Electronic Library, an open database that indexes business journals in Brazil. The author compared one sample obtained in 2013 and another selected from 2018. In both samples, we verified the guidelines that each of the journals provided to authors regarding plagiarism and the adoption of software to detect textual similarities. In the analysis conducted in 2013, it was found that only (...) one journal mentioned the word “plagiarism” in its policies, although the majority of the directives required guarantees that no type of violation of authors’ rights was contained in the manuscript. In the analysis conducted in 2013, it was determined that there were literal reproductions in 31 published articles, and no relevant similarities with other publications were encountered in 16 articles. In the 2018 analysis, 69 of the publications included observations and guidelines related to plagiarism and self-plagiarism. In the analysis conducted in 2018, it was found that similarities occurred in 52 articles, and no relevant evidence of plagiarism or self-plagiarism was found in 66 manuscripts. Although a reduction in the index of the occurrence of plagiarism was observed, as was an increase in the instructions on the prevention of plagiarism by authors, practices directed at guiding authors by means of directives concerning the importance of preventing plagiarism in manuscripts submitted for publication can be recommended. (shrink)

This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP).

No presente artigo analisaremos o filme Visão: A vida de Hildegarde Von Bingen, 2009, verificando o esforço da cineasta alemã Margarethe Von Trotta para estabelecer um modelo exemplar de feminino a partir da vida da visionária Hildegarde Von Bingen, tendo como pano de fundo a sua carreira ligada à questão do Feminismo. A exemplaridade surge como um dos pontos altos dos filmes de Vida de Santo, ou hagiografia fílmica, por essa razão verificaremos sua estética, estrutura e finalidade. Bem como traçaremos (...) as relações necessárias entre a personagem histórica, sua música, seu pensamento, com o que dela sobressai na obra cinematográfica. Por método, partimos incialmente apenas da obra midiática, decupando-a, estudando sua narrativa, forma estética e estrutura, para só então levantar as questões mais importantes ali colocadas relacionando-as com os fatos sociais. (shrink)

Michel Foucault is one of the most preeminent theorists of power, yet the relationship between his militant activities and his analysis of power remains unclear. The book explores this relationship to explain the development of Foucault's thinking about power. Using newly translated and unpublished materials, it examines what led Foucault to take on the question of power in the early 1970s and subsequently refine his thinking, working through different models (war and government) and modalities (sovereign, disciplinary, biopolitical, pastoral and governmental). (...) Looking at Foucault's political trajectory, from his involvement with the prisoner support movement and Solidarity to his controversial engagement with the Iranian revolution, the book shows the militant underpinning of his interest in the question of power and its various shifts and mutations. This thorough account, which includes the first translation of a report edited by Foucault on prison conditions, will provide students in contemporary political theory with a better understanding of Foucault's thinking about power and of the interplay between political activities and theoretical productions. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)